6. American Indian biographies /
المؤلف: edited by Carole Barrett, Harvey Markowitz, project editor, R. Kent Rasmussen.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Indian women-- North America, Biography.,Indians of North America-- Kings and rulers, Biography.,Indians of North America, Biography.,Native peoples-- Kings and rulers, Biography.,Native peoples, Biography.,Native women-- North America, Biography.,Écrivains indiens d'Amérique-- Amérique du Nord, Biographies.,Indiennes d'Amérique-- Amérique du Nord, Biographies.,Indiens d'Amérique-- Amérique du Nord-- Rois et souverains, Biographies.,Indiens d'Amérique-- Amérique du Nord, Biographies.,BIOGRAPHY & AUTOBIOGRAPHY-- Historical.,BIOGRAPHY & AUTOBIOGRAPHY-- Native Americans.,Indian women.,Indians of North America-- Kings and rulers.,Indians of North America.,North America., 7
رده :
E98
.
A46
2005eb
7. Cold war history
المؤلف: edited by Frédéric Bozo ... [ et al.].
المکتبة: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع:
8. Computer aided verification : international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings
المؤلف: Warren A. Hunt, Jr., Fabio Somenzi )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
2725
9. FM8501, a verified microprocessor
المؤلف: / Warren A. Hunt, Jr
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: FM8501 (Microprocessor)
رده :
QA
,
73
.
8
,.
F6
,
H86
,
1994
10. FM8501 : a verified microprocessor
المؤلف: Hunt, Warren A., 8591-
المکتبة: (طهران)
موضوع: ، FM1058 )Microprocessor(
رده :
QA
76
.
L28
Vol
.
795
11. Formal methods in computer-aided design : third International Conference, FMCAD 2000, Austin, Tx, USA, November 1-3, 2000 : proceedings
المؤلف: Warren A. Hunt, Jr., Steven D. Johnson )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer engineering,Congresses ، Computer-aided design,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
1954
12. Pesticide formulations :
المؤلف: Barrington Cross, editor, Herbert B. Scher, editor.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Pesticides-- Formulation, Congresses.,Pesticides-- Formulation, Congrès.,Pesticides-- Formulation.
رده :
TP248
.
P47
P485
1988
13. Principles of neurological surgery /
المؤلف: [edited by] Richard G. Ellenbogen, Saleem I. Abdulrauf, Laligam N. Sekhar
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Nervous system-- Surgery,Nervous System Diseases-- surgery,Neurosurgical Procedures
رده :
RD593
.
P752
2012
14. The Measurement of productive efficiency :
المؤلف: edited by Harold O. Fried, C.A. Knox Lovell, Shelton S. Schmidt.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Industrial efficiency-- Measurement.,Industrial productivity-- Measurement.,Efficience dans l'industrie-- Mesure.,Productivité-- Mesure.,BUSINESS & ECONOMICS-- Production & Operations Management.,Industrial efficiency-- Measurement.,Industrial productivity-- Measurement.,TECHNOLOGY & ENGINEERING-- Industrial Engineering.,TECHNOLOGY & ENGINEERING-- Industrial Technology.
رده :
HD56
.
25
.
M436
1993eb
15. The U.S. Supreme Court /
المؤلف: edited by Thomas Tandy Lewis.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: United States.-- History.,United States.,LAW-- Government-- Federal.
رده :
KF8742
.
U5
2007eb
16. The measurement of productive efficiency
المؤلف: / edited by Harold O. Fried, C.A. Knox Lovell, Shelton S. Schmidt
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Industrial efficiency--Measurement,Industrial productivity--Measurement
رده :
HD
,
56
.
25
,.
M436
,
1993
